Quantor

Quantor
Quantifikator

* * *

Quạntor
 
der, -s/...'toren, Logik: eine logische Partikel, die dazu dient, unbegrenzt viele, durch eine Aussageform gegebene Aussagen zu einer neuen prädikatenlogisch zusammengesetzten Aussage zu verknüpfen (Logik, Abschnitt Prädikatenlogik). Quantoren sind der selten verwendete Keinquantor (»für kein«; symbolisiert ↓), der Allquantor (»für alle«; symbolisiert oder ∀) und der Existenzquantor (»es gibt«, »einige«; symbolisiert oder ). Der Allquantor wird auch als Generalisator oder Großkonjunktion, der Existenzquantor als Manchquantor, Großadjunktion oder Partikulator bezeichnet.
 
Der Übergang von Aussageformen zu Aussagen geschieht dadurch, dass freie Variablen in den Wirkungsbereich eines Quantors einbezogen (»gebunden«) werden. - Die Quantoren wurden in der zweiten Hälfte des 19. Jahrhunderts von G. Frege eingeführt.

* * *

Quạn|tor, der; -s, ...oren (Logik): logische Partikel, die zur ↑Quantifikation (2) von Aussagen dient (z. B. „für kein“, „für alle“).

Universal-Lexikon. 2012.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Quantor — Ein Quantor, kurz für Quantifikator, die Re Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“[1], ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren… …   Deutsch Wikipedia

  • Quantor — kvantorius statusas T sritis automatika atitikmenys: angl. quantifier vok. Quantor, m rus. квантор, m pranc. quantifier, m …   Automatikos terminų žodynas

  • Quantor der Allgemeinheit — bendrumo kvantorius statusas T sritis automatika atitikmenys: angl. generality quantifier vok. Generalisator, m; Quantor der Allgemeinheit, m rus. квантор общности, m pranc. quantifier universel, m …   Automatikos terminų žodynas

  • Quantor — Quạn|tor 〈m.; Gen.: s, Pl.: to|ren; Math.〉 mathemat. Symbol der Mengenlehre u. der algebraischen Logik …   Lexikalische Deutsches Wörterbuch

  • Quantor — Quan|tor der; s, ...oren Kurzw. aus ↑Quantifikator> logische 1↑Partikel für quantifizierte Aussagen (z. B. »für alle gilt«) …   Das große Fremdwörterbuch

  • Quantifikator — Quantor * * * Quan|ti|fi|ka|tor, der; s, ...oren (Logik): Quantor …   Universal-Lexikon

  • Logik erster Ordnung — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

  • PK1 — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

  • Prädikatenkalkül — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

  • Prädikatenlogik zweiter Stufe — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”